<html>
  <head>
    <meta http-equiv="refresh" content="0;url=doc/index.html"/>
  </head>
  <body></body>
</html>
